Notes on Computational Group eory

Some notes on L-projections on Fourier-Stieltjes algebras

In this paper, we investigate the relation between L-projections and conditional expectations on subalgebras of the Fourier Stieltjes algebra B(G), and we will show that compactness of G plays an important role in this relation.

Some notes for topological centers on the duals of Banach algebras

We introduce  the weak topological centers of left and right module actions and we study some of their properties.  We investigate the relationship between these new concepts and the  topological centers of of left and right module actions with some results in the group algebras.

NOTES ON REGULAR MULTIPLIER HOPF ALGEBRAS

In this paper, we associate canonically a precyclic mod- ule to a regular multiplier Hopf algebra endowed with a group-like projection and a modular pair in involution satisfying certain con- dition

On Reversible Combinatory Logic

The λ-calculus is destructive: its main computational mechanism – beta reduction – destroys the redex and makes it thus impossible to replay the computational steps. Recently, reversible computational models have been studied mainly in the context of quantum computation, as (without measurements) quantum physics is inherently reversible. However, reversibility also changes fundamentally the sem...

Descriptive Complexity, Canonisation, and Denable Graph Structure eory